Airborne Thermal Infrared Multispectral Scanner (TIMS) images over disseminated gold deposits, Osgood Mountains, Humboldt County, Nevada

The U.S. Geological Survey (USGS) acquired airborne Thermal Infrared Multispectral Scanner (TIMS) images over several disseminated gold deposits in northern Nevada in 1983. The aerial surveys were flown to determine whether TIMS data could depict jasperoids (siliceous replacement bodies) associated with the gold deposits. The TIMS data were collected over the Pinson and Getchell Mines in the Osgood Mountains, the Carlin, Maggie Creek, Bootstrap, and other mines in the Tuscarora Mountains, and the Jerritt Canyon Mine in the Independence Mountains. The TIMS data seem to be a useful supplement to conventional geochemical exploration for disseminated gold deposits in the western United States. Siliceous outcrops are readily separable in the TIMS image from other types of host rocks. Different forms of silicification are not readily separable, yet, due to limitations of spatial resolution and spectral dynamic range. Features associated with the disseminated gold deposits, such as the large intrusive bodies and fault structures, are also resolvable on TIMS data. Inclusion of high-resolution thermal inertia data would be a useful supplement to the TIMS data

Long-Term Testing and Properties of Acrylic for the Daya Bay Antineutrino Detectors

The Daya Bay reactor antineutrino experiment has recently measured the neutrino mixing parameter sin22{\theta}13 by observing electron antineutrino disappearance over kilometer-scale baselines using six antineutrino detectors at near and far distances from reactor cores at the Daya Bay nuclear power complex. Liquid scintillator contained in transparent target vessels is used to detect electron antineutrinos via the inverse beta-decay reaction. The Daya Bay experiment will operate for about five years yielding a precision measurement of sin22{\theta}13. We report on long-term studies of poly(methyl methacrylate) known as acrylic, which is the primary material used in the fabrication of the target vessels for the experiment's antineutrino detectors. In these studies, acrylic samples are subjected to gaseous and liquid environmental conditions similar to those experienced during construction, transport, and operation of the Daya Bay acrylic target vessels and detectors. Mechanical and optical stability of the acrylic as well as its interaction with detector liquids is reported.Comment: 17 pages, 13 figures Submitted to JINS

SgpDec : Cascade (de)compositions of finite transformation semigroups and permutation groups

We describe how the SgpDec computer algebra package can be used for composing and decomposing permutation groups and transformation semigroups hierarchically by directly constructing substructures of wreath products, the so called cascade products.Final Accepted Versio

Relation of lineaments to sulfide deposits: Bald Eagle Mountain, Centre County, Pennsylvania

The author has identified the following significant results. Discrete areas of finely-fractured and brecciated sandstone float are present along the crest of Bald Mountain and are commonly sites of sulfide mineralization, as evidenced by the presence of barite and limonite gossans. The frequency distributions of the brecciated float as the negative binomial distribution supports the interpretation of a separate population of intensely fractured material. Such zones of concentrated breccia float have an average width of one kilometer with a range from 0.4 to 1.6 kilometers and were observed in a quarry face to have subvertical dips. Direct spatial correlation of the Landsat-derived lineaments to the fractured areas on the ridge is low; however, the mineralized and fracture zones are commonly assymetrical to the lineament positions. Such a systematic dislocation might result from an inherent bias in the float population or could be the product of the relative erosional resistance of the silicified material in the mineralized areas in relation to the erosionally weak material at the stream gaps

Algorithmic Verification of Asynchronous Programs

Asynchronous programming is a ubiquitous systems programming idiom to manage concurrent interactions with the environment. In this style, instead of waiting for time-consuming operations to complete, the programmer makes a non-blocking call to the operation and posts a callback task to a task buffer that is executed later when the time-consuming operation completes. A co-operative scheduler mediates the interaction by picking and executing callback tasks from the task buffer to completion (and these callbacks can post further callbacks to be executed later). Writing correct asynchronous programs is hard because the use of callbacks, while efficient, obscures program control flow. We provide a formal model underlying asynchronous programs and study verification problems for this model. We show that the safety verification problem for finite-data asynchronous programs is expspace-complete. We show that liveness verification for finite-data asynchronous programs is decidable and polynomial-time equivalent to Petri Net reachability. Decidability is not obvious, since even if the data is finite-state, asynchronous programs constitute infinite-state transition systems: both the program stack and the task buffer of pending asynchronous calls can be potentially unbounded. Our main technical construction is a polynomial-time semantics-preserving reduction from asynchronous programs to Petri Nets and conversely. The reduction allows the use of algorithmic techniques on Petri Nets to the verification of asynchronous programs. We also study several extensions to the basic models of asynchronous programs that are inspired by additional capabilities provided by implementations of asynchronous libraries, and classify the decidability and undecidability of verification questions on these extensions.Comment: 46 pages, 9 figure

Jet Trimming

Initial state radiation, multiple interactions, and event pileup can contaminate jets and degrade event reconstruction. Here we introduce a procedure, jet trimming, designed to mitigate these sources of contamination in jets initiated by light partons. This procedure is complimentary to existing methods developed for boosted heavy particles. We find that jet trimming can achieve significant improvements in event reconstruction, especially at high energy/luminosity hadron colliders like the LHC.Comment: 20 pages, 11 figures, 3 tables - Minor changes to text/figure

TB132: An Annotated Bibliography of Predator Research in Maine, 1974-1988

From 1974 to 1988, graduate students (13 M.S. and 5 Ph.D.) and faculty members from the University of Maine conducted a series of studies regarding the ecology of coyotes, red foxes, bobcats, pine martens, fishers, otters, and their prey. This research was reported in 67 theses, journal articles, or other reports, which are abstracted here. An introductory section summarizes the major findings.https://digitalcommons.library.umaine.edu/aes_techbulletin/1068/thumbnail.jp